Honesty by Typing
نویسندگان
چکیده
We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest — that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.
منابع مشابه
A Sociological Explanation of Social Honesty Effect on Political Participation (Case of Study: Residents in Gorgan in 2016)
This study was made to provide sociological explanation about social honesty effect on political participation. Since our community has undergone many changes during the time and considering that it has been changing from traditional society to a modern community, there is necessary need to have enough knowledge and recognition in context of quantity and quality of political participation more ...
متن کاملCompetence versus Honesty: What Do Voters Care About?
We set up an experiment to measure voter preferences trade-offs between competence and honesty. We measure the competence and honesty of candidates by asking them to work on a real effort task and decide whether to report truthfully or not the value of their work. In the first stage, the earnings are the result of the competence and honesty of one randomly selected participant. In the second st...
متن کاملParental autonomy support and honesty: the mediating role of identification with the honesty value and perceived costs and benefits of honesty.
Previous research emphasizes the importance of honesty (or the absence of lying) in adolescent-parent communication as it is ultimately linked to adolescent non-delinquency (Engels, Finkenauer, & van Kooten, 2006). Empirical evidence also suggests that positive parental practices may prevent adolescents' lying (Darling, Cumsille, Caldwell, & Dowdy, 2006; Jensen, Arnett, Feldman, & Cauffman, 200...
متن کاملPartially - honest Nash implementation with non - connected honesty standards ∗
An individual may display an honesty standard which allows her to lie a little without that being harmful to her self view as an honest person. On this basis, the paper considers a society with a finite number of individuals involving partially-honest individuals and in which every individual has her own honesty standard. An individual honesty standard is modeled as a subgroup of the society, i...
متن کاملHonesty as a Foundational Virtue According to Islamic Mystical Ethics: Introduction and Definition
Honesty in Islamic mystical ethics, at a superficial level, refers to the correspondence between speech, action, and intention and purpose. This application of honesty has been analyzed in depth in mystical ethics, and the analysis has resulted in honesty being considered as the foundation and basis of other virtues from five aspects, from which it can be understood that many of virtues are not...
متن کامل